Shoham Ben-David: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Efficient Detection of Vacuity in Temporal Model Checking

Ilan Beer, Shoham Ben-David, Cindy Eisner, Yoav Rodeh

Journal:

Formal Methods in System Design

Year:

2001

Language:

english

File:

PDF, 93 KB

english, 2001

2

Glycosynthase Activity of Geobacillus stearothermophilus GH52 β-Xylosidase: Efficient Synthesis of Xylooligosaccharides from α-D-Xylopyranosyl Fluoride through a Conjugated Reaction

Alon Ben-David, Tsafrir Bravman, Yael S. Balazs, Mirjam Czjzek, Dietmar Schomburg, Gil Shoham, Yuval Shoham

Journal:

Year:

2007

Language:

english

File:

PDF, 299 KB

english, 2007

3

A Universal Screening Assay for Glycosynthases: Directed Evolution of Glycosynthase XynB2(E335G) Suggests a General Path to Enhance Activity

Alon Ben-David, Gil Shoham, Yuval Shoham

Journal:

Chemistry & Biology

Year:

2008

Language:

english

File:

PDF, 593 KB

english, 2008

4

Embedding finite automata within regular expressions

Shoham Ben-David, Dana Fisman, Sitvanit Ruah

Journal:

Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 555 KB

english, 2008

5

Scalable distributed on-the-fly symbolic model checking

Shoham Ben-David, Orna Grumberg, Tamir Heyman, Assaf Schuster

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2003

Language:

english

File:

PDF, 324 KB

english, 2003

6

Explaining counterexamples using causality

Ilan Beer, Shoham Ben-David, Hana Chockler, Avigail Orni, Richard Trefler

Journal:

Formal Methods in System Design

Year:

2012

Language:

english

File:

PDF, 797 KB

english, 2012

7

Model Checking at IBM

Shoham Ben-David, Cindy Eisner, Daniel Geist, Yaron Wolfsthal

Journal:

Formal Methods in System Design

Year:

2003

Language:

english

File:

PDF, 64 KB

english, 2003

8

The Structure of an Inverting GH43 β-Xylosidase from Geobacillus stearothermophilus with its Substrate Reveals the Role of the Three Catalytic Residues

Christian Brüx, Alon Ben-David, Dalia Shallom-Shezifi, Maya Leon, Karsten Niefind, Gil Shoham, Yuval Shoham, Dietmar Schomburg

Journal:

Journal of Molecular Biology

Year:

2006

Language:

english

File:

PDF, 1.16 MB

english, 2006

9

Monitoring and recovery for web service applications

Simmonds, Jocelyn, Ben-David, Shoham, Chechik, Marsha

Journal:

Year:

2013

Language:

english

File:

PDF, 1.74 MB

english, 2013

10

Biochemical Characterization and Identification of the Catalytic Residues of a Family 43 β- d -Xylosidase from Geobacillus stearothermophilus T-6 †

Shallom, Dalia, Leon, Maya, Bravman, Tsafrir, Ben-David, Alon, Zaide, Galia, Belakhov, Valery, Shoham, Gil, Schomburg, Dietmar, Baasov, Timor, Shoham, Yuval

Journal:

Year:

2005

Language:

english

File:

PDF, 296 KB

english, 2005

11

Vacuity in practice: temporal antecedent failure

Ben-David, Shoham, Copty, Fady, Fisman, Dana, Ruah, Sitvanit

Journal:

Formal Methods in System Design

Year:

2015

Language:

english

File:

PDF, 699 KB

english, 2015

12

[Lecture Notes in Computer Science] Algorithmic Learning Theory Volume 3244 || A BP-Based Algorithm for Performing Bayesian Inference in Large Perceptron-Type Networks

Ben-David, Shoham, Case, John, Maruoka, Akira

Year:

2004

Language:

english

File:

PDF, 261 KB

english, 2004

13

[Lecture Notes in Computer Science] Algorithmic Learning Theory Volume 3244 || On Kernels, Margins, and Low-Dimensional Mappings

Ben-David, Shoham, Case, John, Maruoka, Akira

Year:

2004

Language:

english

File:

PDF, 186 KB

english, 2004

14

[Lecture Notes in Computer Science] Algorithmic Learning Theory Volume 3244 || Probabilistic Inductive Logic Programming

Ben-David, Shoham, Case, John, Maruoka, Akira

Year:

2004

Language:

english

File:

PDF, 242 KB

english, 2004

15

[ACM Press the eighteenth ACM SIGSOFT international symposium - Santa Fe, New Mexico, USA (2010.11.07-2010.11.11)] Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering - FSE '10 - Guided recovery for web service applications

Simmonds, Jocelyn, Ben-David, Shoham, Chechik, Marsha

Year:

2010

Language:

english

File:

PDF, 1.22 MB

english, 2010

16

[ACM Press the 8th International Workshop - Wellington, New Zealand (2011.10.17-2011.10.17)] Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation - MoDeVVa - Partial models

Famelis, Michalis, Ben-David, Shoham, Chechik, Marsha, Salay, Rick

Year:

2011

Language:

english

File:

PDF, 887 KB

english, 2011

17

[ACM Press the 33rd annual conference - Las Vegas, Nevada, United States (1996.06.03-1996.06.07)] Proceedings of the 33rd annual conference on Design automation conference - DAC '96 - RuleBase

Beer, Ilan, Ben-David, Shoham, Eisner, Cindy, Landver, Avner

Year:

1996

Language:

english

File:

PDF, 73 KB

english, 1996

18

[ACM Press the 19th ACM SIGSOFT symposium and the 13th European conference - Szeged, Hungary (2011.09.05-2011.09.09)] Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering - SIGSOFT/FSE '11 - CSSL

Ben-David, Shoham, Chechik, Marsha, Gurfinkel, Arie, Uchitel, Sebastian

Year:

2011

Language:

english

File:

PDF, 647 KB

english, 2011

19

[IEEE 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (ICSE) - Florence, Italy (2015.5.16-2015.5.24)] 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering - Symbolic Model Checking of Product-Line Requirements Using SAT-Based Methods

Ben-David, Shoham, Sterin, Baruch, Atlee, Joanne M., Beidu, Sandy

Year:

2015

Language:

english

File:

PDF, 835 KB

english, 2015

20

[Lecture Notes in Computer Science] Algorithmic Learning Theory Volume 3244 || String Pattern Discovery

Ben-David, Shoham, Case, John, Maruoka, Akira

Year:

2004

Language:

english

File:

PDF, 208 KB

english, 2004

21

Crystal structure of an inverting GH 43 1,5-α-L-arabinanase from Geobacillus stearothermophilus complexed with its substrate

Alhassid, Anat, Ben-David, Alon, Tabachnikov, Orly, Libster, Dima, Naveh, Einat, Zolotnitsky, Gennady, Shoham, Yuval, Shoham, Gil

Journal:

Biochemical Journal

Year:

2009

Language:

english

File:

PDF, 905 KB

english, 2009

22

Assembly of synthetic functional cellulosomal structures onto the Lactobacillus plantarum cell surface – a potent member of the gut microbiome

Stern, Johanna, Moraïs, Sarah, Ben-David, Yonit, Salama, Rachel, Shamshoum, Melina, Lamed, Raphael, Shoham, Yuval, Bayer, Edward A, Mizrahi, Itzhak

Journal:

Applied and Environmental Microbiology

Year:

2018

Language:

english

File:

PDF, 2.66 MB

english, 2018

23

[Lecture Notes in Computer Science] Algorithmic Learning Theory Volume 3244 || Learning Content Sequencing in an Educational Environment According to Student Needs

Ben-David, Shoham, Case, John, Maruoka, Akira

Year:

2004

Language:

english

File:

PDF, 268 KB

english, 2004

24

[Lecture Notes in Computer Science] Algorithmic Learning Theory Volume 3244 || Maximum Entropy Principle in Non-ordered Setting

Ben-David, Shoham, Case, John, Maruoka, Akira

Year:

2004

Language:

english

File:

PDF, 181 KB

english, 2004

25

[Lecture Notes in Computer Science] Algorithmic Learning Theory Volume 3244 || A Criterion for the Existence of Predictive Complexity for Binary Games

Ben-David, Shoham, Case, John, Maruoka, Akira

Year:

2004

Language:

english

File:

PDF, 228 KB

english, 2004

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски